Pollack, Randy : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (23)
Les plus populaires
Liste
- Liste
- Tableau

1

Culture Change in an Amish Community

Randy Beth Pollack

Journal:

Central Issues in Anthropology

Année:

1981

Langue:

english

Fichier:

PDF, 769 KB

english, 1981

2

Engineering formal metatheory

Aydemir, Brian, Charguéraud, Arthur, Pierce, Benjamin C., Pollack, Randy, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Année:

2008

Langue:

english

Fichier:

PDF, 252 KB

english, 2008

3

[ACM Press the twenty-fifth SIGCSE symposium - Phoenix, Arkansas, United States (1994.03.10-1994.03.12)] Proceedings of the twenty-fifth SIGCSE symposium on Computer science education - SIGCSE '94 - A tale of two high school computer science programs and how the ACM model high school computer science curriculum may shape their future (abstract)

Brown, David W., Sheets, Michael A., Myers, Randy L., Freed, Jeremy A., Cameron, Allan, Amavisca, Patricia, Cuprak, Theresa, Pollack, Brian, Stephenson, Chris

Année:

1994

Langue:

english

Fichier:

PDF, 138 KB

english, 1994

4

Childhood History of Anxiety in Adults with Panic Disorder: Association with Anxiety Sensitivity and Comorbidity

Otto, Michael W., Pollack, Mark H., Rosenbaum, Jerrold F., Sachs, Gary S., Asher, Randi H.

Journal:

Harvard Review of Psychiatry

Année:

1994

Langue:

english

Fichier:

PDF, 765 KB

english, 1994

5

Breast and colorectal cancer recurrence and progression captured by five U.S. population-based registries: Findings from National Program of Cancer Registries patient-centered outcome research

Thompson, Trevor D., Pollack, Lori A., Johnson, Christopher J., Wu, Xiao-Cheng, Rees, Judy R., Hsieh, Mei-Chin, Rycroft, Randi, Culp, MaryBeth, Wilson, Reda, Wu, Manxia, Zhang, Kevin, Benard, Vicki

Journal:

Cancer Epidemiology

Année:

2020

Langue:

english

Fichier:

PDF, 2.33 MB

english, 2020

6

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg

Journal:

Journal of Symbolic Computation

Année:

2002

Langue:

english

Fichier:

PDF, 276 KB

english, 2002

7

External and internal syntax of the -calculus

Masahiko Sato, Randy Pollack

Journal:

Journal of Symbolic Computation

Année:

2010

Langue:

english

Fichier:

PDF, 491 KB

english, 2010

8

A Canonical Locally Named Representation of Binding

Randy Pollack, Masahiko Sato, Wilmer Ricciotti

Journal:

Journal of Automated Reasoning

Année:

2012

Langue:

english

Fichier:

PDF, 432 KB

english, 2012

9

Viewing -terms through maps

Sato, Masahiko, Pollack, Randy, Schwichtenberg, Helmut, Sakurai, Takafumi

Journal:

Indagationes Mathematicae

Année:

2013

Langue:

english

Fichier:

PDF, 563 KB

english, 2013

10

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - A Theory of Information-Flow Labels

Montagu, Benoit, Pierce, Benjamin C., Pollack, Randy

Année:

2013

Langue:

english

Fichier:

PDF, 550 KB

english, 2013

11

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Engineering formal metatheory

Aydemir, Brian, Charguéraud, Arthur, Pierce, Benjamin C., Pollack, Randy, Weirich, Stephanie

Année:

2008

Langue:

english

Fichier:

PDF, 252 KB

english, 2008

12

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A verified information-flow architecture

Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Année:

2014

Langue:

english

Fichier:

PDF, 692 KB

english, 2014

13

[ACM Press the 1986 ACM fourteenth annual conference - Cincinnati, Ohio, United States (1986..-..)] Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86 - A technique for comparing search algorithm run-times

Davis, Henry W., Pollack, Randy B., Golden, Dennis J.

Année:

1986

Langue:

english

Fichier:

PDF, 451 KB

english, 1986

14

A Pilot Study of Tailored Cognitive-Behavioral Resilience Training for Trauma Survivors With Subthreshold Distress

Zalta, Alyson K., Tirone, Vanessa, Siedjak, Jennifer, Boley, Randy A., Vechiu, Catalina, Pollack, Mark H., Hobfoll, Stevan E.

Journal:

Journal of Traumatic Stress

Année:

2016

Langue:

english

Fichier:

PDF, 96 KB

english, 2016

15

“lactose intolerance...”

TRIPP-REIMER, TONI, POLLACK, RANDY BETH

Journal:

AJN American Journal of Nursing

Année:

1977

Fichier:

PDF, 56 KB

1977

16

“lactose intolerance...”

TRIPP-REIMER, TONI, POLLACK, RANDY BETH

Journal:

AJN American Journal of Nursing

Année:

1977

Fichier:

PDF, 123 KB

1977

17

A tale of two high school computer science programs and how the ACM model high school computer science curriculum may shape their future (abstract)

Brown, David W., Sheets, Michael A., Myers, Randy L., Freed, Jeremy A., Cameron, Allan, Amavisca, Patricia, Cuprak, Theresa, Pollack, Brian, Stephenson, Chris

Journal:

ACM SIGCSE Bulletin

Année:

1994

Langue:

english

Fichier:

PDF, 138 KB

english, 1994

18

Capture and coding of industry and occupation measures: Findings from eight National Program of Cancer Registries states

Freeman, MaryBeth B., Pollack, Lori A., Rees, Judy R., Johnson, Christopher J., Rycroft, Randi K., Rousseau, David L., Hsieh, Mei-Chin

Journal:

American Journal of Industrial Medicine

Année:

2017

Langue:

english

Fichier:

PDF, 520 KB

english, 2017

19

A verified information-flow architecture

Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Journal:

Journal of Computer Security

Année:

2016

Langue:

english

Fichier:

PDF, 410 KB

english, 2016

20

SAE Technical Paper Series [SAE International 27th Intersociety Energy Conversion Engineering Conference (1992) - (AUG. 03, 1992)] SAE Technical Paper Series - A Model-Based Fault Diagnostic and Control System for Spacecraft Power

Morris, Robert A., Pollack, Randy B., Carreira, Daniel J., Gonzalez, Avelino J., McKenzie, F. D., Fleeman, R. A., Dhir, Anita

Année:

1992

Langue:

english

Fichier:

PDF, 610 KB

english, 1992

21

Evaluating patterns and predictors of symptom change during a three-week intensive outpatient treatment for veterans with PTSD

Zalta, Alyson K., Held, Philip, Smith, Dale L., Klassen, Brian J., Lofgreen, Ashton M., Normand, Patricia S., Brennan, Michael B., Rydberg, Thad S., Boley, Randy A., Pollack, Mark H., Karnik, Niranjan

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 722 KB

english, 2018

22

Examining Insomnia During Intensive Treatment for Veterans with Posttraumatic Stress Disorder: Does it Improve and Does it Predict Treatment Outcomes?

Zalta, Alyson K., Pinkerton, Linzy M., Valdespino-Hayden, Zerbrina, Smith, Dale L., Burgess, Helen J., Held, Philip, Boley, Randy A., Karnik, Niranjan S., Pollack, Mark H.

Journal:

Journal of Traumatic Stress

Année:

2020

Langue:

english

Fichier:

PDF, 269 KB

english, 2020

23

Maintenance of treatment gains up to 12-months following a three-week cognitive processing therapy-based intensive PTSD treatment programme for veterans

Held, Philip, Zalta, Alyson K., Smith, Dale L., Bagley, Jenna M., Steigerwald, Victoria L., Boley, Randy A., Miller, Michelle, Brennan, Michael B., Van Horn, Rebecca, Pollack, Mark H.

Journal:

European Journal of Psychotraumatology

Année:

2020

Fichier:

PDF, 1.04 MB

2020